Hiding and Behaviour: an Institutional Approach

نویسندگان

  • Rod Burstall
  • Răzvan Diaconescu
چکیده

Theories with hidden sorts provide a setting to study the idea of behaviour and behavioural equivalence of elements. But there are variants on the notion of theory: many sorted algebras, order sorted algebras and so on; we would like to use the theory of institutions to develop ideas of some generality. We formulate the notion of behavioural equivalence in a more abstract and categorical way, and we give a general explication of ”hiding” in an institution. We use this show that both hidden many sorted algebras and hidden order sorted algebras yield institutions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Administrative Culture in Iran: an Institutional Approach

shows how a government approaches the running of the country. Administrative governance behavior shows the type of administrative culture which dominates the country. Administrative culture at its fundamental analytical level looks at the behavioral pattern embracing the country’s administrative system. Taking into account the modern institutional approach, this article intends to define and ev...

متن کامل

High capacity steganography tool for Arabic text using 'Kashida'

Steganography is the ability to hide secret information in a cover-media such as sound, pictures and text. A new approach is proposed to hide a secret into Arabic text cover media using "Kashida", an Arabic extension character. The proposed approach is an attempt to maximize the use of "Kashida" to hide more information in Arabic text cover-media. To approach this, some algorithms have been des...

متن کامل

Sea anemones modify their hiding time based on their commensal damselfish

Animals often retreat to refugia when alarmed and the time they spend hiding reflects an economic decision that trades off reducing predation risk with other beneficial activities. Typically, refugia such as burrows are static, but some refugia are dynamic. For species with defensive mutualisms, hiding might be contingent on their mutualist's behaviour. We disturbed and quantified hiding time i...

متن کامل

نقش نهادها در توسعه کارآفرینی

The purpose of this article is to analyze and explain the relation between institutions and entrepreneurship, focusing on the entrepreneurship theorists’ viewpoints including Douglass North According to the institutional approach, the environment that shapes the economy, affects on entrepreneurial dynamics within each country. Such an environment is characterized by interdependencies between in...

متن کامل

Data Hiding Method Based on Graph Coloring and Pixel Block‘s Correlation in Color Image

An optimized method for data hiding into a digital color image in spatial domainis provided. The graph coloring theory with different color numbers is applied. To enhance thesecurity of this method, block correlations method in an image is used. Experimental results showthat with the same PSNR, the capacity is improved by %8, and also security has increased in themethod compared with other meth...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004